Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Emerson ist Informatik-Professor an der University of Texas at Austin. Dort machte er 1976 auch seinen Bachelor in Mathematik, und daraufhin 198...
Gefunden auf
https://de.wikipedia.org/wiki/Allen_Emerson
Emerson, Ernest Allen, US-amerikanischer Informatiker; Studium der Mathematik an der University of Texas in Austin sowie in Harvard; 1981 Ph.D in angewandter Mathematik; Professor für Informatik an der University of Texas. Zusammen mit seinem Doktorvater Edmund Clarke trug Allen Emerson wesentlich z...
Gefunden auf
https://www.enzyklo.de/Lokal/42134
Keine exakte Übereinkunft gefunden.
